Types and Programming Languages - PDFSEARCH.IO - Document Search Engine

Types and Programming Languages
Results: 543

#	Item
121	Matlab error list FAQ “My Matlab window looks messed up!” If a window within Matlab has been lost, rearranged or otherwise been eliminated in a freak click and drag accident, go to the top left corner of the window a Add to Reading List Source URL: www.cs.utsa.edu Language: English - Date: 2014-01-08 18:12:17 MATLAB Numerical linear algebra Data types Variable C Software Computing Array programming languages
122	Table of Contents Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . C and the Standard. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . The X3J11 Committee . . . . . . . Add to Reading List Source URL: www.nesssoftware.com Language: English - Date: 2012-09-20 22:09:55 C Standard Library Procedural programming languages Data types Primitive types String C file input/output C Scanf format string Printf format string Computing Software engineering Computer programming
123	Townsville Airport Airport Environment Strategy 2009 – Add to Reading List Source URL: www.qldairports.com.au Language: English - Date: 2010-11-24 03:43:24 States and territories of Australia Environmental economics Earth Environmental protection Environmentalism Types and Programming Languages Townsville Airport Townsville Sustainability Environment Environmental social science North Queensland
124	Q, Faust et al About Q algebraic types and functions defined by equations Add to Reading List Source URL: q-lang.sourceforge.net Language: English - Date: 2006-11-24 23:15:33 Software Software synthesizers SuperCollider FAUST Pure Faust: The First Part of the Tragedy Synthesizer MIDI Audio programming languages Music Computing
125	Design and Definition of CeXL and ξ-Calculus Version 0.9.3 ´ Anoq of the Sun, Hardcore Processing Add to Reading List Source URL: www.cex3d.net Language: English - Date: 2015-04-10 16:01:05 Type theory Functional languages Data types Procedural programming languages Subroutines ML Type system Type inference Hindley–Milner Software engineering Programming language theory Computing
126	13 Built-in types, constructors and exceptions The following types, constructors, and exceptions are available in the initial environment, of the interactive system as well as files compiled with the batch compiler mosml Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-03-11 11:20:26 Data types Primitive types C++ Standard Library String C++ Comparison of programming languages ALGOL 68 Pointer Primitive data type Computing Software engineering Computer programming
127	CS109A Notes for LectureFunctions 1. Keyword fun. 2. Function name and formal parameters. 3. = Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 01:01:26 Procedural programming languages Functional languages Data types C++ ML ALGOL 68 Declaration C++ classes Pointer Software engineering Computing Computer programming
128	CS109B ML Notes for the Week ofRecord Types A set of eld names and their associated types, surrounded by curly braces. Example: The triples that we needed for Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 01:01:40 Data types Procedural programming languages Functional languages Type theory Functional programming Anonymous function ML ALGOL 68 Differential equation Software engineering Computing Programming language theory
129	Monotonic References for Efficient Gradual Typing Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , Sam Tobin-Hochstadt1 , and Ronald Garcia2 1 Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Type theory Data types Procedural programming languages C++ Type safety Lambda calculus Type system ALGOL 68 Combinatory logic Software engineering Computing Programming language theory
130	Breaking the Complexity Barrier of Pure Functional Programs with Impure Data Structures Pieter Wuille and Tom Schrijvers? Department of Computer Science, K.U.Leuven, Belgium FirstName.LastName @cs.kuleuven.be Add to Reading List Source URL: lirias.kuleuven.be Language: English Computer programming Abstract data types Procedural programming languages Arrays Sorting algorithms Array data type Linked list List Stack Computing Software engineering Data types

UPDATE